PatternSynonymUnderapplied.agda:11,3-7
Too few arguments to pattern synonym suc'
when checking that the clause f suc' = zero has type Nat → Nat
